Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
121	Curry-Howard for GUIs: classical linear linear temporal logic (work in progress!) Steve Zdancewic Jennifer Paykin Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-07-21 03:25:55
122	Commun. Math. PhysDigital Object Identifier (DOIs00220x Communications in Mathematical Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2006-07-03 13:32:23 Mathematical analysis Operator theory Physics Theoretical physics Quantum mechanics Operator Distribution Probability current Constructible universe De BroglieBohm theory Linear temporal logic Spectral theory of ordinary differential equations
123	Labelled Tableaux for Temporal Logic with Cardinality Constraints Clare Dixon, Boris Konev Renate A. Schmidt, Dmitry Tishkovsky Add to Reading List Source URL: www.mettel-prover.org Language: English - Date: 2014-04-01 08:48:03
124	Tense, Propositions, and Facts Ulrich Meyer www.ulrichmeyer.org Colgate University There are two ways of incorporating temporal distinctions into a system of logic: tensed theories propose to expand standard logic with i Add to Reading List Source URL: conference.prior.aau.dk Language: English - Date: 2014-08-18 11:50:07
125	A 3-Valued Logic for the Specification and the Verification of Security Properties ´chir Ktari Be Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2004-12-05 23:21:27 Linear temporal logic Temporal logic
126	Efficient evaluation for a temporal logic on changing XML documents∗ ´ Mikołaj Bojanczyk Diego Figueira Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:13:57
127	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
128	Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2010-07-23 11:18:02 Logic programming Answer set programming ASCII Coala Linear temporal logic Stable model semantics
129	On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48 Logic Mathematical logic Theoretical computer science Temporal logic Model checkers Linear temporal logic NuSMV Model checking Concurrency Finite model theory Planning Domain Definition Language SMV

UPDATE